(set-logic ALL)
(set-info :status sat)
(declare-fun b () Int)
(declare-fun c () Int)
(declare-fun d () Int)
(declare-fun a () Int)
(declare-fun f () Int)
(declare-fun e () Int)
(assert (>= 1 b))
(assert (< f 0))
(assert (> e 0 (/ 1 d)))
(assert (> (- d (* a c)) 0))
(assert (< (+ d (* b f c)) 0))
(assert (> (/ (* b c) (- 0 1 (/ 1 e))) 0))
(check-sat)
